3

A nucleus of a theorem-prover described inAlgol-68

Year:
1974
Language:
english
File:
PDF, 1.41 MB
english, 1974
4

An Application of CLP: Checking the Correctness of Theorems in Geometry

Year:
1999
Language:
english
File:
PDF, 135 KB
english, 1999
5

Remarks on »garbage collection« using a two-level storage

Year:
1967
Language:
english
File:
PDF, 468 KB
english, 1967
6

Applications of a formal approach to decipher discrete genetic networks

Year:
2010
Language:
english
File:
PDF, 1.02 MB
english, 2010